mechanical theory proving
[计] 机器理论证明
热门查询
- thoroughness n. 十分，完全；彻底
- first-aid adj. 急救的；急救用的
- assimilative adj. 同化的；同化力的
- grammatical adj. 文法的；符合语法规则的
- ritualized adj. 仪式化的；程式化的 v. 仪式化（ritualize的过去式）
- radish n. 萝卜，小萝卜 n. (Radish)人名；(俄)拉季什；(塞)拉迪什
- Shriver [人名] 施赖弗
- polychromatic adj. 多色的；色彩变化的（等于polychromic）
- jacobin n. 激进派成员
- exploded v. 爆炸（explode的过去分词） adj. 爆炸了的；分解的；被破除的
- doppelganger n. 面貌极相似的人；幽灵
- frameless adj. [建] 无框架的
- ORF 羊痘
- ingenuousness n. 率直；正直；老实
- tax-free adj. 免税的；无税的
- oilskin n. 油布；油布雨衣
- pen n. 钢笔；作家；围栏 vt. 写；关入栏中 n. (Pen)人名；(法)庞；(俄、塞、英、意)佩恩；(柬)宾
- singsong n. 单调的节奏 adj. 单调的 vt. 声调很平地说；单调地唱 vi. 单调地唱；声调很平地说话
- summarization n. [图情] 摘要；概要
- convoluted adj. 复杂的；费解的；旋绕的 v. 盘绕；缠绕（convolute的过去分词）
考试词汇表
- irrespective of
- irreversibility
- irrevocable L/C
- irrevocable l/c
- irrevocableness
- irrigated crops
- irrigated field
- irrigated takyr
- irrigating gate
- irrigating head
- irrigating land
- irrigating spoo
- irrigating tube
- irrigating unit
- irrigation area
- irrigation crop
- irrigation date
- irrigation gate
- irrigation head
- irrigation hose
